The N ′ 5 Logic
نویسندگان
چکیده
We introduce a new 5-valued logic that we call N ′ 5. This logic extends GLukG, a paraconsistent logic recently introduced [10]. We show that N ′ 5 is sound with respect to GLukG.
منابع مشابه
Equality propositional logic and its extensions
We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...
متن کاملOptimal Positioning of Middle Schools within the City of Dehdasht through a Combination of Boolean Logic and FAHP
Optimal Positioning of Middle Schools within the City of Dehdasht through a Combination of Boolean Logic and FAHP M.A. Firoozi, Ph.D. P. Rahmaani N. Hosseini Shahpariyaan M. Fereydoonnejaad Optimal positioning of schools is of much interest to planners because the rapid increase in population and structural changes within the cities could lead to distribution problems if not fo...
متن کاملPredictions of Tool Wear in Hard Turning of AISI4140 Steel through Artificial Neural Network, Fuzzy Logic and Regression Models
The tool wear is an unavoidable phenomenon when using coated carbide tools during hard turning of hardened steels. This work focuses on the prediction of tool wear using regression analysis and artificial neural network (ANN).The work piece taken into consideration is AISI4140 steel hardened to 47 HRC. The models are developed from the results of experiments, which are carried out based on De...
متن کاملN'5 as an Extension of G'3
We present an extension of GLukG, a logic that was introduced in [6] as a three-valued logic under the name of G3. GLukG is a paraconsistent logic defined in terms of 15 axioms, which serves as the formalism to define the p-stable semantics of logic programming. We introduce a new axiomatic system, N-GLukG, a paraconsistent logic that possesses strong negation. We use the 5-valued logic N ′ 5, ...
متن کاملSuhrawardi's Modal Syllogisms
Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...
متن کامل